1

Concerning Definable Setsby N. A. Routledge

Year:
1959
Language:
english
File:
PDF, 185 KB
english, 1959
2

Undecidability and Recursive Inseparabilityby Raymond M. Smullyan

Year:
1960
Language:
english
File:
PDF, 89 KB
english, 1960
4

On Denumerable Bases of Formal Systemsby Hao Wang

Year:
1957
Language:
english
File:
PDF, 326 KB
english, 1957
5

Computability & Unsolvabilityby Martin Davis

Year:
1958
Language:
english
File:
PDF, 161 KB
english, 1958
6

Theory of Recursive Functions and Effective Computabilityby Hartley Rogers,

Year:
1959
Language:
english
File:
PDF, 200 KB
english, 1959
7

Ordinal Recursionby N. A. Routledge

Year:
1959
Language:
english
File:
PDF, 185 KB
english, 1959
8

Une Simplification de la Theorie de Turingby Jean Porte

Year:
1960
Language:
english
File:
PDF, 90 KB
english, 1960
9

Une Machine Pour l'Algèbre des Contacts.by Heinz Zemanek

Year:
1960
Language:
english
File:
PDF, 92 KB
english, 1960
10

Generalization of a Lemma of G. F. Roseby I. L. Gál; J. B. Rosser; D. Scott

Year:
1960
Language:
english
File:
PDF, 112 KB
english, 1960